<?php

//使用require_once可以保证文件不被多次加载

require_once '7.1.php';
require_once '7.1.php';